((v5 v1 2) (v1 v2 3) (v5 v3 2) (v1 v3 3) (v7 v6 9) (v2 v7 0) (v7 v4 4) (v6 v4 8) (v7 v5 9) (v8 v2 0) (v3 v8 3) (v3 v2 0) (v4 v8 0) (v1 v6 5)) 98 ((v1 v7) (v1 v4) (v5 v8))